1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
3. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
4. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
5. Constructivism in mathematics
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
6. Constructivism in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ;
7. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
8. Constructivism in mathematics :
پدیدآورنده : A.S. Troelstra, D. van Dalen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics
رده :
QA9
.
56
.
T74
1988
9. Constructivism in mathematics : an introduction
پدیدآورنده : Troelstra, A. S.)Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
10. Dirk van Dalen Festschrift
پدیدآورنده : Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
رده :
QA9
.
H465
1993
11. Geographical information systems and landscape archaeology /
پدیدآورنده : edited by Mark Gillings, David Mattingly and Jan van Dalen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Archaeology-- Data processing, Congresses,Archaeology-- Methodology, Congresses,Excavations (Archaeology)-- Data processing, Congresses,Geographic information systems, Congresses,Landscape archaeology-- Mediterranean Region, Congresses
12. Logic Colloquium, 1980
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic And Mathematical. ;
13. Logic Colloquium, 1978
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and Mathematical. ;
14. Logic Colloquium, 1978
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
15. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
16. Logic and Structure
پدیدآورنده : / Dirk Van Dalen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic Circuits.,Logic Design.
رده :
TK7888
,.
4
.
D
3
17. Logic and structur
پدیدآورنده : / Dirk van Dalen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
18. Logic and structure
پدیدآورنده : Dirk van Dalen,Title
موضوع : Logic, Symbolic and mathematical
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
19. Logic and structure
پدیدآورنده : Dalen, D. van )Dirk(
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D16
1994
20. Logic and structure
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
